1. computer aided verification

پدیدآورنده :

کتابخانه: Vali Asr University Central Library (Kerman)

موضوع : Computer software-verification,electronic digital computers-evaluation

رده :
QA
76
.
76
.
E93
,
C65
1993